More from this Author
Found 6 books by Hana Chockler (Editor)
Computer Aided Verification
by Hana Chockler (Editor), Georg Weissenbacher (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Computer Aided Verification
by Hana Chockler (Editor), Georg Weissenbacher (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Hardware and Software: Verification and Testing
by Hana Chockler (Editor), Alan J. Hu (Editor)